In-system programming - PDFSEARCH.IO - Document Search Engine

In-system programming
Results: 1455

#	Item
451	Introduction to the LLVM Compiler System Chris Lattner llvm.org Architect November 4, 2008 ACAT’08 - Erice, Sicily Add to Reading List Source URL: llvm.org Language: English - Date: 2010-02-25 20:19:41 Compiler construction Clang LLVM Chris Lattner GNU Compiler Collection Just-in-time compilation Compiler Software Programming language implementation Compilers
452	Download Manager V0.8betar262 Release Notes New Features and Changes ● The progress bar has been replaced with a progress column in the table. ● Table columns can be hidden/show Add to Reading List Source URL: viewer.nationalmap.gov Language: English - Date: 2015-03-04 15:22:07 Dialog box Computing Open Programming Language File managers Windows Vista Windows Explorer Features new to Windows 7 Graphical user interface elements Software System software
453	What’s New in CodeSite 5 The CodeSite Logging System gives developers deeper insight into how their code is executing, which enables them to locate problems more quickly and ensure their application is running correctl Add to Reading List Source URL: www.raize.com Language: English - Date: 2011-12-13 00:11:16 Delphi programming language Embarcadero Delphi Pascal Log4j Software Computing Computer programming
454	FACSAn Open System Operational Semantics for an Object-Oriented and Component-Based Language Jasmin Christian Blanchette and Olaf Owe Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2009-11-22 11:37:03 Logic in computer science Programming language semantics Actor model Concurrent computing Symbol Binding Operational semantics Objective-C Computing Software engineering Computer programming
455	Under consideration for publication in J. Functional Programming 1 Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism∗ Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:02 Type theory Functional programming Data types Higher-order functions Lambda calculus Higher-order abstract syntax Eval Catamorphism System F Software engineering Computing Declarative programming
456	Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod (System Description)∗ Jasmin Christian Blanchette Technische Universität München Garching, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-10-25 11:45:35 Mathematical logic Model theory Formal languages Formal methods Logical syntax Structure Isabelle Logic programming Automated theorem proving Mathematics Logic Metalogic
457	Build Awesome Command-Line Applications in Ruby Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2012-03-13 12:43:48 Scripting languages Online help Technical communication Ruby programming language Web application frameworks Ruby Command-line interface Man page Batch file Software Computing System software
458	Wiping away the mystery of switch programming GENESIS GENSWITCH Add to Reading List Source URL: www.buygenesis.com Language: English - Date: 2009-06-12 12:40:11 Computer telephony integration Bankruptcy in the United Kingdom Bell System Nortel Voice-mail CT Connect Switch Telephony Telephone exchanges Electronic engineering
459	On Adversary Models and Compositional Security Anupam Datta, Jason Franklin, Deepak Garg, Limin Jia and Dilsun Kaynar Carnegie Mellon University Abstract We present a representative development in the science of security Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Cryptographic protocols Object-oriented programming Communications protocol Data transmission Protocols Trusted system Cryptography Universal composability Computer security Computing Security Data
460	Technology Review - Rewriting the Bible in 0’s and 1’s Add to Reading List Source URL: www.literateprogramming.com Language: English - Date: 2007-10-09 02:18:13 Typesetting Publishing TeX Digital typography The Art of Computer Programming Metafont New Typesetting System Knuth MMIX Computing Donald Knuth Typography

UPDATE